Implication representations